Generating a fluent API with syntax checking from an LR grammar
نویسندگان
چکیده
منابع مشابه
Syntax Directed Translation with LR Parsing
Abstrac t . A simple extension of the usual LR parser construction is made in order to build a translator. The LR parsing algorithm is extended by a facility to do output operations within the action shift and reduce. A class of translation grammars, called R-translation grammars, is introduced as an extension of the class of postfix translation grammars. Transformations called shaking-down and...
متن کاملGenerating with discourse grammar
In this paper, we show how typed uniication based formalisms extended with arbitrary relations can be used to generate discourse. We start by presenting the speciic framework being used (discourse grammar), and we argue that it provides a natural setting for a computational analysis of intersentential phenomena such as ellipsis, anaphora and focus. We then show that it is possible for a discour...
متن کاملPractical API Protocol Checking with Access Permissions
Reusable APIs often de ne usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while a ording a great deal of aliasing exibility. We also developed Plural, a prototype tool that embodies our approach as an automated static analysis and includes several extensions we found useful in practice. This paper evaluates our approach ...
متن کاملGenerating French with a Reversible Unification Grammar
O. Intr~cluction In this paper, we describe the linguistic solutions to some of the problems encountered in writing a reversible French grammar. This grammar is primarily intended to be one of the components of a machine translation system built using ELU, 1 an enhanced PATR-II style unification grammar linguistic environment based on the LID system described in Johnson and Rosner (1989), but i...
متن کاملGenerating referring expressions with a unification grammar
A simple formalism is proposed to represent the contexts in which pronouns, definite/indefinite descriptions, and ordinal descriptions (e.g. 'the second book') can be used, and the way in which these expressions change the context. It is shown that referring expressions can be generated by a unification grammar provided that some phrase-structure rules are specially tailored to express entities...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2019
ISSN: 2475-1421
DOI: 10.1145/3360560